2

Is Binary Notation Optimal?

Year:
1981
Language:
english
File:
PDF, 300 KB
english, 1981
3

The Arithmetical Hierarchy of Real Numbers

Year:
2001
Language:
english
File:
PDF, 225 KB
english, 2001
6

Randomness on full shift spaces

Year:
2001
Language:
english
File:
PDF, 170 KB
english, 2001
7

Approaches to Effective Semi-Continuity of Real Functions

Year:
1999
Language:
english
File:
PDF, 984 KB
english, 1999
8

Computable metrization

Year:
2007
Language:
english
File:
PDF, 186 KB
english, 2007
9

Computable Riesz representation for the dual of C [0; 1]

Year:
2007
Language:
english
File:
PDF, 308 KB
english, 2007
11

Connectivity properties of dimension level sets

Year:
2008
Language:
english
File:
PDF, 137 KB
english, 2008
13

A Refined Model of Computation for Continuous Problems

Year:
1998
Language:
english
File:
PDF, 160 KB
english, 1998
14

Weakly Computable Real Numbers

Year:
2000
Language:
english
File:
PDF, 161 KB
english, 2000
15

Compactness in constructive analysis revisited

Year:
1987
Language:
english
File:
PDF, 541 KB
english, 1987
16

Computability on computable metric spaces

Year:
1993
Language:
english
File:
PDF, 1.29 MB
english, 1993
17

An Algorithm for Computing Fundamental Solutions

Year:
2005
Language:
english
File:
PDF, 287 KB
english, 2005
19

Computable Riesz Representation for the Dual of

Year:
2007
Language:
english
File:
PDF, 500 KB
english, 2007
20

Preface

Year:
2008
Language:
english
File:
PDF, 95 KB
english, 2008
22

On the complexity of online computations of real functions

Year:
1991
Language:
english
File:
PDF, 813 KB
english, 1991
24

On Computable Metrization

Year:
2007
Language:
english
File:
PDF, 383 KB
english, 2007
25

Complexity of Blowup Problems: Extended Abstract

Year:
2008
Language:
english
File:
PDF, 300 KB
english, 2008
26

Computing Schrödinger propagators on Type-2 Turing machines

Year:
2006
Language:
english
File:
PDF, 267 KB
english, 2006
28

The computational complexity of program schemata

Year:
1976
Language:
english
File:
PDF, 1.17 MB
english, 1976
29

Foreword

Year:
2002
Language:
english
File:
PDF, 30 KB
english, 2002
31

Computability on subsets of Euclidean space I: closed and compact subsets

Year:
1999
Language:
english
File:
PDF, 1.96 MB
english, 1999
32

Foreword

Year:
1999
Language:
english
File:
PDF, 112 KB
english, 1999
33

Effectiveness of the global modulus of continuity on metric spaces

Year:
1999
Language:
english
File:
PDF, 761 KB
english, 1999
34

Computability on the probability measures on the Borel sets of the unit interval

Year:
1999
Language:
english
File:
PDF, 1.23 MB
english, 1999
35

The Computational Complexity of Some Julia Sets

Year:
2002
Language:
english
File:
PDF, 251 KB
english, 2002
36

Preface: Volume 66, Issue 1

Year:
2002
Language:
english
File:
PDF, 46 KB
english, 2002
38

Type 2 recursion theory

Year:
1985
Language:
english
File:
PDF, 1.41 MB
english, 1985
39

Theory of representations

Year:
1985
Language:
english
File:
PDF, 1.53 MB
english, 1985
40

Type 2 computational complexity of functions on Cantor's space

Year:
1991
Language:
english
File:
PDF, 2.29 MB
english, 1991
42

Preface

Year:
2007
Language:
english
File:
PDF, 95 KB
english, 2007
43

Connectivity Properties of Dimension Level Sets

Year:
2008
Language:
english
File:
PDF, 248 KB
english, 2008
47

Program schemata with polynomial bounded counters

Year:
1975
Language:
english
File:
PDF, 1.07 MB
english, 1975
48

Random elements in effective topological spaces with measure

Year:
2003
Language:
english
File:
PDF, 262 KB
english, 2003
49

An Algorithm for Computing Fundamental Solutions

Year:
2006
Language:
english
File:
PDF, 190 KB
english, 2006